Project-Team Mexico
Members
Overall Objectives
Scientific Objectives
Research Program
Concurrency
Interaction
Management of Quantitative Behavior
Application Domains
Telecommunications
Transport Systems
Biological Systems
Highlights of the Year
New Software and Platforms
DarkSider
COSMOS
CosyVerif
Mole
New Results
Analyzing Timed Systems Using Tree Automata
Interrupt Timed Automata with Auxiliary Clocks and Parameters
One-Counter Automata with Counter Observability
Diagnosis in Infinite-State Probabilistic Systems
Accurate Approximate Diagnosability of Stochastic Systems
Diagnosability of Repairable Faults
Optimal constructions for active diagnosis
Verification of parameterized communicating automata via split-width
Cyclic Ordering through Partial Orders
Predicting Traffic Load in Public Transportation Networks
Unfolding of Parametric Logical Regulatory Networks
Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph
D-SPACES: An Implementation of Declarative Semantics for Spatially Structured Information
Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion
Goal-Driven Unfolding of Petri Nets
Partnerships and Cooperations
National Initiatives
European Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2016
|
Presentation of the Project-Team MEXICO
|
MEXICO Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Partnerships and Cooperations
National Initiatives
We will be participating in the ANR Project ALGORECELL that starts in 2017.
Previous |
Home
| Next